$\forall$$A$:Type, ${\it eq}$:EqDecider($A$), $L$:$A$ List, $v$:Top, $x$:$A$. $x$ $\in$ dom($L$ $\vdash$fpf$\rightarrow$ $v$) $\Leftrightarrow$ ($x$ $\in$ $L$)